en proof by exhaustion
― DerivedFrom ⟶
Weight: 1.0
en exhaustion (n) Source: English Wiktionary